<html>
<head><meta charset="utf-8"><title>Dynamic analysis tooling · wg-secure-code · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/146229-wg-secure-code/index.html">wg-secure-code</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/146229-wg-secure-code/topic/Dynamic.20analysis.20tooling.html">Dynamic analysis tooling</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="155055942"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146229-wg-secure-code/topic/Dynamic%20analysis%20tooling/near/155055942" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Shnatsel <a href="https://rust-lang.github.io/zulip_archive/stream/146229-wg-secure-code/topic/Dynamic.20analysis.20tooling.html#155055942">(Jan 14 2019 at 01:58)</a>:</h4>
<p>I've just filed some bugs on the WG repo about improving dynamic analysis tooling.<br>
<span class="user-mention" data-user-id="120791">@RalfJ</span> could you clarify what kind of bugs MIRI detects that Address Sanitizer doesn't?<br>
Also, in your blog post you've mentioned running the test suite with it. Does it detect bugs that happen more or less regardless of inputs like misaligned pointers or is there value in hooking it up to a fuzzer so it could automatically find interesting conditions triggered by malformed inputs such as reads from uninitialized memory?</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>